Logic redundancy